What type of satellites does the BeiDou-1 system use