GPT-5 Mini: Quicker and Efficient Model from OpenAI