Petra, el-Mudhlim water diversion tunnel