Federal judge upholds Texas' TikTok ban on state-owned devices