added mathematical formulation and methods for choosing a prior