Phi-4: Microsoft's Newest Small Language Model Specializing in Complex Reasoning