5월 1일 근로자의 날, 휴무, 휴일 수당, 근무 수당