The employment effects of a shorter working week