the azores is part of portugal