Pompeii, history of excavations