Technological change, economies of scale, traded intermediate products, and substitution between energy and non-energy inputs in the U.S. manufacturing sector