What are the ranging signals of the BeiDou system based on