煤炭属于矿业吗