A model-based approach for recipe design and scale-up of freeze-drying processes