the process by which a gas changes back into a liquid