Contribution of highway capital to output and productivity growth in the US economy and industries