Advances in structure-based drug discovery of carbonic anhydrase inhibitors