Theoretical studies on substrate binding to the active site of carbonic anhydrase