Stan user’s guide with examples and programming techniques.