Loading: How many Twitter users actually tweet?