The time-optimal problem in binary batch distillation