when is the day of independence in portugal?