Text this: Comparison of phylogenetic trees defined on different but mutually overlapping sets of taxa: A review