Microsoft’s Phi-3 shows the surprising power of small, locally run AI language models