Bayesian Methods for Finite Population Sampling