open pit mining in Indonesia