Bots and Automation over Twitter during the First U.S. Presidential Debate