Rational design of freeze-drying formulations: a molecular dynamics approach