Can mental workload in EEG tasks be classified using machine learning algorithms?