Measuring the Performance of Code Produced with GitHub Copilot