Differential-Algebraic Approach to Dynamic Simulations of Flash Drums with Rigorous Evaluation of Physical Properties