The ancient lost city of Petra is a magnificent sight – find out how it was discovered in the eighteenth century and why it remains one of the world’s greatest buildings.