Recent developments in DNA sequencing