A general method for tree-comparison based on subtree similarity and its use in a taxonomic database