Never mind Elon Musk: Twitter’s bots are actually good