how was GitHub Copilot built - Search