Two-stage Bayesian benchmarking as applied to small area estimation