Distillation of crude oil