请解释一下「工业矿物」这个词的含义。