GPS Multipath Modeling and Verification Using Geometrical Theory of Diffraction