Log-Regularized Dictionary-Learning-Based Reinforcement Learning Algorithm for GNSS Positioning Correction.