Density functional study of the catalytic cycle of nickel–iron [NiFe] hydrogenases and the involvement of high-spin nickel(II)