Optimal Operation of industrial batch crystallizers: A model-based control approach