L’anfiteatro interamente intagliato nella roccia, Petra