GPS卫星星座由多少颗卫星构成。