Optimum taxation and the allocation of time