Microsoft preparing to host Musk’s Grok AI model, The Verge reports