Student effort and educational attainment: Using the England football team to identify the education production function