A Practical Algorithm for Optimal Inference of Haplotypes from Diploid Populations