energy derivation by oxidation of reduced inorganic compounds