Computer-aided reaction solvent design based on transition state theory and COSMO-SAC