Microsoft launches MAI-Thinking-1 reasoning model with 35 billion parameters