Multi-Model Probabilistic Programming