what does GitHub Copilot do - Search