대체휴무는 법적으로 어떻게 규정되어 있나요?