OpenAI exec Mira Murati, who clashed with Sam Altman, leaving ChatGPT maker