Bayesian inference and model choice for Holling’s disc equation: a case study on an insect predator-prey system