Quantitative and predictive model of kinetic regulation by E. coli TPP riboswitches