On the mechanism of electron bifurcation by electron transferring flavoprotein and butyryl-CoA dehydrogenase