Market tremors: Shale gas exploration, earthquakes, and their impact on house prices