Rational design of ribozyme switches through big data and machine learning