SHAANXI COAL INDUSTRY COMPANY LIMITED的員工人數。