Inference Compilation and Universal Probabilistic Programming