A Positive Semidefinite Approximation of the Symmetric Traveling Salesman Polytope