An Experimental Evaluation of the Best-of-Many Christofides' Algorithm for the Traveling Salesman Problem