Bayesian calibration of differentiable agent-based models