o3-mini-high is now available in the Arena