Malaysia gas pipeline decommissioning