Time Series Analysis of Heart Rate Variabililty during Mental Workload