when does portugal celebrate its independence day?