parque minero de Riotinto, MINAS DE RIOTINTO