High pressure cooling in the machining of hard-to-machine materials