Microsoft Phi-4 reasoning technical report [pdf]