The principle of work permitted when it is tzorech moed. Does a salaried worker need to use their vacation days over Chol Hamoed?