Probabilistic Programming and Bayesian Inference for Time Series Analysis and Forecasting