What Are Twitter Bots and How Can You Spot Them?