Twitter’s doubling of character count from 140 to 280 had little impact on length of tweets