3D Building Model-Assisted Snapshot GNSS Positioning Method