The town where people live underground

How a mining capital became a subterranean oasis