A SpaceX team is being brought in to overhaul FAA's air traffic control system