o4-mini powerful reasoning model that pushes the frontier across coding, math, science, visual perception, and more