Bayesian Statistical Inference for Sampling a Finite Population