ngành công nghiệp khai thác than indonesia