Mark Zuckerberg paid lobby$7.6 million to aid in TikTok ban