Mobility, housing markets, and schools: Estimating the effects of inter-district choice programs