Musk's amended lawsuit against OpenAI names Microsoft as defendant