Automated parameter estimation for biological models using Bayesian statistical model checking