Monte San Dionisio (al fondo, hoy desaparecido), MINAS DE RIOTINTO