A software-defined GNSS receiver for snapshot positioning using collective detection.