A semi-empirical model for the air oxidation kinetics of UO2