The effects of the three-day workweek on patterns of leisure participation of blue-collar workers