Bayesian weighted inference from surveys. (8th April 2020)