Stan and the Stan ecosystem