Ab initio study of the hydration of carbon dioxide by carbonic anhydrase. A comparison between the Lipscomb and Lindskog mechanisms