Computers snarl U.S. air traffic