Small domain estimation of census coverage: A case study in Bayesian analysis of complex survey data