Diffusion in stochastically perturbed Hamiltonian systems with applications to the recent LHC dynamic aperture experiments