The catalytic mechanism of carbonic anhydrase