Loop-Wise Route Representation and Its Optimization Formulation for Symmetric Traveling Salesman Problems