Which of the following techniques is used to separate a solid from a liquid in a mixture?