Modeling and Validation of GNSS Multipath-Induced Doppler Tracking Error