Oxygen vacancy formation and migration in ceria