Twitter deletes 10,000 bots 'discouraging US voting'