Improved approximation of maximum vertex cover