Catalytic cycles for the reduction of [UO2]2+ by cytochrome c7 proteins proposed from DFT calculations.