First-principles investigation of atomic structures and stability of proton-exchanged layered sodium titanate