Carnaval é feriado para o trabalhador?