An electrochemical proton gradient is formed as electrons flow through the electron transport chain. What is the nature of this process?