à quoi sert l industrie minière