High-purity liquefied gases: Aspen Dynamics simulation of a purification process in a middle-vessel batch distillation column