reading gps rinex data with pandas,"df.set_index(['%_GPST', 'satID'])"