Searching subtrees of large phylogenetic trees