تعداد کارگران معدن چقدر است؟