Bayesian multilevel regression with post-stratification