lo que es una planta trituradora en una mina de diamantes