Disjoint Tree Mergers for Large-Scale Maximum Likelihood Tree Estimation