Solving Bayesian multi-parameter estimation problems using the mechanical equivalent of logical inference