Generalised model for heteroazeotropic batch distillation with variable decanter hold-up