OpenAI o3 vs o4-mini: A Deep Dive into Reasoning Models