Ponto facultativo do Dia do Trabalhador altera funcionamento de repartições públicas estaduais