Long-range propagation of protons in single-crystal VO2 involving structural transformation to HVO2