Socially Efficient Discounting under Ambiguity Aversion