A tool for assessing the energy demand and efficiency of machining systems: Energy benchmarking. (1st November 2017)