The discovery of the temple of Isis at Pompeii, buried under pumice and other volcanic matter