BeiDou-1 consists of four working satellites and how many backups