Turing: Composable inference for probabilistic programming