Antigua central eléctrica de las minas, MINAS DE RIOTINTO