Given the reference text below the eruption of Mount Vesuvius, how high was the mountain after the disaster?