Identifying optimal solvents for reactions using quantum mechanics and computer-aided molecular design