Agent-based safety risk analysis of air traffic management