The bounds of smart decline: a foundational theory for planning shrinking cities