The impact of clearance and irrigation on the environment in the Lake Erhai catchment from the ninth to the nineteenth century.