Twitter's controversial head of China leaves after eight months