Elon Musk named Microsoft as a defendant in his lawsuit against OpenAI