cuántas personas trabajan en la minería empresa minera de oro