capital city of the european country portugal?