portuguese flag colors