A Branch-and-Cut algorithm for the Capacitated Multi-Failure Survivable Network Design problem. (October 2018)