Progress on Synthesis Modelling of UO2 Oxidation