Kernelization Algorithms for the Vertex Cover Problem: Theory and Experiments