회사에서 지정한 여름휴가 기간에 반드시 휴가를 사용해야 하나요, 아니면 다른 시기에 사용할 수 있나요?