Bayesian assembly of reads from high throughput sequencing