Nonmonetary steady states in stationary overlapping generations models with long lived agents and discounting: Multiplicity, optimality, and consumption smoothing