Effects of lubricating oil on thermal performance of water-cooled carbon dioxide gas cooler