An Approximation Algorithm for the Minimum Vertex Cover Problem