Which allotrope of carbon is soft, greasy and is used as solid lubricant for heavy machinery operating at a high temperature?