微软Phi-4语言模型发布，以140亿参数挑战Llama 700亿大模型效能