Twitter reveals its daily active user numbers for the first time (Washington Post)