Horas trabalhadas nestes dias deverão ser remuneradas em dobro ou empregadores devem determinar folga compensatória