Habit Formation and the Pareto-Efficient Provision of Public Goods