Antigua Redidencia de los Directivos de la Mina, MINAS DE RIOTINTO