A multi-layer model for long-term KPI alignment forecasts for the air transportation system