Sequencing-by-hybridization at the information-theory bound: an optimal algorithm