An O(k^3 log n)-Approximation Algorithm for Vertex-Connectivity Survivable Network Design