Գրեք սա: Inference compilation and universal probabilistic programming