Using Agent-Based Models to Understand Multi-Operator Supervisory Control