OpenAI launches o3-mini, its latest 'reasoning' model