The electron transport chain forms a concentration gradient for H+, which diffuses through ATP synthase complexes, producing ____.