Posterior probability distribution