Robots Just Built a 180m Dam on the Tibetan Plateau