Modeling a simple Batch Distillation problem