Sulfide oxidizers, such as purple sulfur bacteria, dominate at the anoxic-oxic interface in hot springs. They use the hydrogen from hydrogen sulfide to reduce carbon dioxide to organic carbon, which can then be oxidized for energy. This process requires what external source of energy?