Some work and some play: a normative, microscopic approach to allocating time between work and leisure