The mushroom-roofed houses of a Hani village, a distinctive building craft