钻石属于什么矿石