A model of air traffic controllers' conflict detection and conflict resolution