By the mid-1970s, the agency had achieved a semi-automated air traffic control system using both radar and computer technology. When was the nationwide strike that forced flight restrictions but failed to shutdown the aerospace system