Pore gradient gel electrophoresis: theory, practice, and applications