Automation is expected to make air traffic controllers’ jobs a bit easier. But instead it could add more work and lead to more mistakes being made.