Better ILP-Based Approaches to Haplotype Assembly