A Bayesian geospatial modeling framework for the synthesis of point prevalence and health facility catchment data