How a TikTok ban could work in the United States