OpenAI introduces GPT-4o mini, its cheaper and lighter model for developers