Distillation of hydrocarbon oils