Отправить по sms: Inference compilation and universal probabilistic programming