Carnaval no Brasil: feriado ou ponto facultativo?