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