After 16 years and $8B, the military's new GPS software still doesn't work