Which sites or services allow the user to choose the format, resolution, and quality of the video when downloading clips from TikTok so that the resulting file is suitable for different purposes?