Phase relation and thermodynamic properties of cubic fluorite-type solid solution, Bay2Yy2U1−yO2 + x ()