Computer simulation studies of bulk reduction and oxygen migration in CexZr(1-x)O2 solid solutions