Assessing the Micro-Foundations of the Tiebout Model