EEG-Based Estimation and Classification of Mental Fatigue