Can Automation Enable a Time-Based US Air Traffic System?