Efficient phylogenetic tree inference for massive taxonomic datasets
