A Decomposition Theorem for Maximum Weight Bipartite Matchings with Applications to Evolutionary Trees