Which of the following phase changes involves a gas turning into a liquid?