Microsoft announced Phi-4, a new AI that’s better at math and language processing