US F-16s lose out as Thai air force seals US$600 million deal for Swedish Gripen jets