COOLANT OIL, CUTTING OIL