Mental Workload Measurement Using the Intersaccadic Interval