MurTree: Optimal Decision Trees via Dynamic Programming and Search (Journal of Machine Learning Research, 2026)