Microsoft developing AI reasoning models to compete with OpenAI