Title: Branch and cut methods for the symmetric capacitated vehicle routing problem