근로기준법 제59조에 따르면, 통계법 제22조제1항에 따라 통계청장이 고시하는 산업에 관한 표준의 중분류 또는 소분류 중 보건업에 대하여 사용자가 주 12시간을 초과하여 연장근로를 하게 하거나 휴게시간을 변경할 수 있다. 이 경우 절차상 필요한 것은?