Former White House CIO warns that the tech industry should prepare for a TikTok ban