Public holidays in Portugal and how to enjoy the festivities