Cyclohexanone distillation