Modeling the airspace spare capacity to foster a cooperative resilient air traffic management system | Synapse