Ab initio study of proton dynamics on perovskite oxide surfaces