Process Tracing: a Bayesian Perspective