Efficient Computation and Application of Maximum Agreement Forests