Mechanistic insight into oxygen vacancy migration in SrFeO3-δ from DFT+U simulations.