Nonstandard Interpretations of Probabilistic Programs for Efficient Inference