A Geographic Information System for the documentation of medieval and modern fortifications.The district of "Castello" in Cagliari