Industrial lubricating oils