As it happened: Twitter’s first day of trading