Theory of electrophoresis of polyelectrolytes through gels