Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs.