Theoretical investigation of thermodynamic stability and mobility of the oxygen vacancy in ThO2-UO2 solid solutions.