Inverse Modeling of GPS Multipath for Snow Depth Estimation—Part I: Formulation and Simulations | IEEE Journals & Magazine | IEEE Xplore