capital city of the european country of portugal?