Electrophoresis of Protein Charge Ladders: A Comparison of Experiment with Various Continuum Primitive Models