矿的汉字演变