Which of the following processes involves a change in state from solid to liquid?