A Pedant's Approach to Exponential Smoothing