Analysis of Air Traffic Controller Workload Reduction Based on the Solution Space for the Merging Task