Heaving-bedrock hazards, mitigation, and land-use policy