Estimating mixture properties from batch distillation using semi-rigorous and rigorous models