Turing.jl: A novel probabilistic programming language for Bayesian inference