Petrology and diamonds