知网的《中国期刊全文数据库》的“期刊导航”中矿业工程类核心期刊有（）种。