A geographical information system for the archaeological area of Pompeii