First-principles molecular-dynamics simulation of proton diffusion in perovskite oxides