is pt zirmet mining in indonesia under operation