Modelling the radiolytic corrosion of α-doped UO2 and spent nuclear fuel