Which of the following is the process of water vapor turning into liquid water?