Tonkin's uplands at the turn of the 20th century: Colonial military enclosure and local livelihood effects