diamond a gem mineral with properties for industrial use