Traub V. Approximation Algorithms for Traveling Salesman Problems 2025