Bayesian Inference for the Normal Distribution