Bayes' estimators of finite population size