Automatically Marginalized MCMC in Probabilistic Programming