The determinants of aggregate energy use in West Germany: factor substitution, technological change, and trade