Eye movement as indicators of mental workload to trigger adaptive automation