Automated DNA Sequencing: Progress and Prospects