Agent-Based Modelling and Simulation of Safety and Resilience in Air Transportation