Using a Bayesian-Inference Approach to Calibrating Models for Simulation in Robotics