Gravar-mail: A Kalman Filter-Based Short Baseline RTK Algorithm for Single-Frequency Combination of GPS and BDS