Isoelectric Focusing: Theory, Methodology and Application