The economic theory of shortening the working day