Compositional Stochastic Modeling and Probabilistic Programming