美国国防部GPS系统，是由______颗卫星组成的。