The release of radioactive gases from uranium dioxide during irradiation