Elucidation of the catalytic mechanism of carbonic anhydrase