Text this: A navigation satellite selection algorithm for optimized positioning based on Gibbs sampler