Underground Space: Good for Sustainable Development, and Vice Versa