Amortized Rejection Sampling in Universal Probabilistic Programming