On the Use of Machine Learning for EEG-Based Workload Assessment: Algorithms Comparison in a Realistic Task