A Bayesian bootstrap for a finite population