La minería de diamantes incluye