Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach