The process that occurs when a gas changes into a liquid because of heat removal is called ___.