非煤矿矿山企业包括石油天然气企业。