Haplotype block partitioning and tagSNP selection under the perfect phylogeny model