Study on the overall heat transfer coefficient for the tube-in-tube heat exchanger used in mixed-gases coolers