Optimal operational policies in batch distillation