Fast, effective vertex cover kernelization: a tale of two algorithms