Día de revocación de mandato laborado ¿se paga al doble?