Leisure time in economic evaluation: theoretical and practical considerations