A parallel equivalence algorithm based on MPI for GNSS data processing