Microsoft's record high stock price was about more than OpenAI