CFD modeling of industrial cold box with plate-fin heat exchanger: Focusing on phase change phenomenon. (February 2020)