Vitalsource Technologies, Inc. Bayesian Claims Reserving Methods in Non-life Insurance with Stan: An Introduction