Exact Solution of the Capacitated Vehicle Routing Problem