The P300 as a metric for mental workload.