Infrastructure, economic development, and public policy