A longtime OpenAI executive who briefly replaced Sam Altman as CEO is leaving