Ruinas de lo que fue Petra, edificios excavados en roca