A 2-Approximation Algorithm for Finding an Optimum 3-Vertex-Connected Spanning Subgraph