the biggest quarry mine in indonesia