Tungsten-dependent formaldehyde ferredoxin oxidoreductase: reaction mechanism from quantum chemical calculations.