The survivable k-node-connected network design problem: Valid inequalities and Branch-and-Cut. (October 2017)