Declarative Modeling and Bayesian Inference of Dark Matter Halos