Computational Materials Design of Rare-Earth-Based Fast Oxygen Ion Conductors by First-Principles Simulation Based on Density Functional Theory