process of distillation employed in the concentration of ores