Tiebout Model and Lindahl Pricing