In which lubrication application is a lubricating oil with demulsibility properties most likely to be used?