线粒体内电子传递的氧化作用与ATP合成的磷酸化作用之间的偶联是通过形成（）势能来实现的。