GitHub Copilot is not infringing copyright