porto is part of portugal