First-Principles Molecular-Dynamics Simulation of Proton Diffusion in Sc-Doped SrTiO3.