Fast computation of all maximum acyclic agreement forests for two rooted binary phylogenetic trees.