First-principles simulation of oxygen diffusion in HfOx: Role in the resistive switching mechanism | Synapse