Musk debuts Grok-3 AI chatbot to rival OpenAI, DeepSeek