Half-Integral Threshold Rounding for Vertex Cover