Reading GPS RINEX data with Pandas,"df.set_index(['%_GPST', 'satID'])"