Direct observation of oxygen vacancy formation and migration over ceria surface by in situ environmental transmission electron microscopy