Branch-And-Cut Algorithms for the Capacitated VRP