Correlations Between the Charge of Proteins and the Number of Ionizable Groups They Incorporate: Studies Using Protein Charge Ladders, Capillary Electrophoresis, and Debye-Hückel Theory