Please add OpenAI's o3-mini

o3-mini is set to high behind the scenes, but no name change!