Openai gym paper. OpenAI o3-mini System Card.