Cutting oils and coolants for machine tools