A model-based framework to get quality-by-design in freeze-drying of pharmaceuticals