金刚石主要产于何种岩石中（）。