Oxygen vacancy formation and migration in Ce(1-x)Zr(x)O2 catalyst: a DFT+U calculation.