Predicting protein folding kinetics via temporal logic model checking