A Domain Theory for Statistical Probabilistic Programming