Foundations of Probabilistic Programming