Petra - Lost City of Stone

Petra - Lost City of Stone

Available on Prime Video
How did early engineers carve tombs into rock cliffs and funnel water to this desert city?