First-principles calculation and experimental study of oxygen diffusion in uranium dioxide | Synapse