Twitter's odd quarter: user records but slump in revenue