When to use cheaper completion models versus o3/o4 mini with GitHub Copilot