Parse GPS navigation messages in the RINEX format