想知道一个煤矿集团，比如大同，里面大约有多少个处级以上干部（包括处级）。