Rational Design of Stable Protein Formulations