A Kalman Filter-based Doppler-smoothing of Code Pseudoranges in GNSS-Challenged Environments