煤礦中的粗金剛石和切割金剛石,礦業概念和罕見的寶石