Title: The economics of coal-use at industrial sites in the aftermath of the oil crisis of 1979