A dynamic programming algorithm for Haplotype Asembly of Future-Generation Sequencing Reads