Decimeter-level algorithm for satellite-based augmentation systems and performance analysis of BDS-2/BDS-3