formerly PT International Nickel Indonesia Tbk)