Bayesian probability theory