대체공휴일, 임시공휴일, 공휴일 수