Model-based estimation and control methods for batch cooling crystallizers door