OpenAI o3 and o4-mini System Card