Which method is used to separate mixtures based on differences in boiling points?