Here's What I Know About Mira Murati, the Interim CEO of OpenAI