简述“金刚钻”一词的由来。