How Microsoft AI Builds Coding Models Optimized for GitHub Copilot