Mining Frequent Agreement Subtrees in Phylogenetic Databases