OpenAI launches GPT-4o mini, which will replace GPT-3.5 in ChatGPT