Theory of gel electrophoresis of DNA