X officially launches its ChatGPT rival Grok