Selection of cutting fluids and cooling when cutting stainless steel