¿En qué tipo de minas se extraen los diamantes?