nombre d employés dans l industrie minière