Modeling of GPS multi-path signals and receiver testing