Using mathematical modeling and prior knowledge for QbD in freeze-drying processes