cutting oil for industrial metalworking; cutting oils for use in cooling and lubricating cutting tools used in metal machining operations