Quantitative models of RNA thermodynamics for the design of riboswitches