Reaction-based knock predictive modeling and model-based stochastic knock limit control of spark-ignition engines