Time Series Classification for Fatigue Detection in Runners — A Tutorial