A framework for assessing the impact of performance-based navigation on air traffic controllers