명절이나 법정공휴일이 정기휴가 기간에 포함될 경우, 해당 일수만큼 정기휴가에서 차감되지 않는 것이 맞나요?