Musk’s departure from OpenAI and subsequent litigation