A federal judge in Pennsylvania has thrown out three TikTok users' challenge to President Donald Trump's executive order banning the Chinese video-sharing platform.