金刚石是一种由( )元素组成的矿物，是在高温高压下的岩浆里形成的八面体结晶，也可用人工制造。