ماهو الرمز البريدي aeropuerto reina sofia (santa cruz de tenerife)?