OpenAI CTO Mira Murati announces she’s leaving the company