Wadi al Mudlin (Valle al Mudlin), Petra