煤矿属于建筑工程吗