Many-to-many matching of attributed trees using association graphs and game dynamics