According to the U.S.Department of Energy, which end-use category typically accounts for the largest share of manufacturing energy consumption?