Stationarity of a User’s Pupil Size Signal as a Precondition of Pupillary-Based Mental Workload Evaluation