Analysis of BDS Coverage Performance in the Arctic and High-Latitude Regions and Methods for Optimization | Synapse