Electrochemical model for the leaching of uranium dioxide