Will air traffic control's $12.5 billion update fix employee morale?