Twitter’s chief operating officer is leaving