Aggregate Production Functions, Interregional Equilibrium, and the Measurement of Infrastructure Productivity