From mineralogy to petrology: The example of diamond and its inclusions