A quarter of tweets posted by bots