Performance Assessment of the GNSS Diffraction Models in Urban Areas