Microsoft’s Mistral deal beefs up Azure without spurning OpenAI