How many geostationary orbit satellites will the BeiDou-2 system have?