How much more did a BeiDou-1 ground terminal cost than a current GPS terminal?