The Microfoundations of the Tiebout Model