How low-level automation can help air traffic controllers