What is the source of the energy used to generate the proton gradient across the inner mitochondrial membrane?.