A theoretical study of the formation of carbonic acid from the hydration of carbon dioxide: a case of active solvent catalysis