Elon Musk wants a 25% discount on his Twitter bid if 25% of Twitter’s users are spam bots – are they?