OpenAI’s former Sora boss is leaving