De la vieja a la nueva minería: la introducción de la flotación diferencial en las minas españolas y su impacto ambiental.