Augmented Reality User Interface for Command, Control, and Supervision of Large Multi-Agent Teams.