work leisure decision model and utility maximization