שליחה במסרון: Inference compilation and universal probabilistic programming