The separation technique that involves heating a solution until the liquid changes into a gaseous state, leaving behind a solid is known as