Stable positions and probable migration paths of a proton in Y-doped SrCeO3: An ab initio molecular-dynamics simulation