A model-based approach for the rational design of the freeze-thawing of a protein-based formulation