Petra, Jordan, is a lost city that feels like it was built for giants. How big is Petra? Absolutely enormous.