Determination of the oxygen-to-uranium ratio in uranium dioxide by differential-pulse polarography