grinding mills mining industry in indonesia