definition of lubricant