TGS agrees to buy Polarcus’ multiclient library