How does transmembrane electrochemical potential drive the rotation of F_o motor in an ATP synthase?