Parameter discovery in stochastic biological models using simulated annealing and statistical model checking