SMS dit: Can a shorter workweek induce higher employment? Mandatory reductions in the workweek and employment subsidies