By the mid-1970s, the agency had achieved a semi-automated air traffic control system using both radar and computer technology. What type of enhancement did the air traffic control system get to keep up with air traffic growth?