煤炭行业上市公司数量