Bayesian inference for ODE models