Twitter Q2: User Numbers Down as Efforts to Reduce Spam and Bots Take Effect