qu est-ce que c est l industrie minière