Cooling lubricant