what is the capital city of the european country portugal?