School choice, housing prices, and residential sorting: Empirical evidence from inter-and intra-district choice