Growth in number of users boosts Twitter revenue by a fifth