A GGA+U study of the reduction of ceria surfaces and their partial reoxidation through NO2 adsorption