The Joint Tactical Air Controller: cognitive modeling and augmented reality HMD design