Thiobacillus denitrificans is a species of bacteria that obtains its energy from carbon dioxide and inorganic compounds such as nitrogen in its environment. It is used in bioremediation (natural cleansing) of groundwater that contains excess nitrate, allowing the nitrates to be removed. Through what process does Thiobacillus denitrificans help bioremediate groundwater?