The impact of air traffic management automation on the human performance of air traffic controllers in aviation law