Bayesian Claims Reserving Methods in Non-life Insurance with Stan: An Introduction [Hardcover]