Algorithms in supertree inference and phylogenetic data mining