About 9-15% of Twitter accounts are bots