Detecting Twitter bots in real time.