Dynamic efficiency and Pareto optimality in overlapping generations models: an overview