Vertex Cover Is NP-Complete