A navigation satellite selection algorithm for optimized positioning based on Gibbs sampler. (June 2020)