Optimization of ionic conductivity in doped ceria using density functional theory and kinetic lattice Monte Carlo