曾隶属于煤炭工业部的12所行业院校