Stan — probabilistic programming language for Bayesian inference