TikTok loses challenge against law requiring sale or ban