5. Inference with Stan