Hierarchical Bayesian Modeling of Survey Data with Post-Stratification