Deep Learning for Automatic EEG Feature Extraction: An Application in Drivers’ Mental Workload Classification