Understanding the Oxygen-Vacancy-Related Catalytic Cycle for H2 Oxidation on Ceria-Based SOFC Anode and the Promotion Effect of Lanthanide Doping from Theoretical Perspectives