The Rarefaction of Phylogenetic Diversity: Formulation, Extension and Application