The Bayesian approach to the analysis of finite population surveys