The housing-market impacts of shale-gas development