Drs. Muth and Mills Meet Dr. Tiebout: Integrating Location-Specific Amenities into Multi-Community Equilibrium Models