Thermally enhanced machining of hard-to-machine materials: a review