Red Eléctrica Internacional cambia su nombre a Redinter