Distillation of petroleum products