焦化行业属于（）行业。