How a Sale of TikTok Would Work and Who Might Buy It