Combining experimental and theoretical methods to learn about the reactivity of gas-processing metalloenzymes