Mechanism of O2 diffusion and reduction in FeFe hydrogenases