Investigation of micro-textured cutting tools used for face turning of alloy 718 with high-pressure cooling