Elon Musk settles with the US Air Force, smoothing the way for competition in spy-satellite missions