DNA sequencing using nanopores and kinetic proofreading