Cognitive performance and electroencephalographic variations in air traffic controllers under various mental workload and time of day