IDMAG demagnetizer used on the South Texas-Tuxpan Gas Pipeline