Algoritmi per la validazione 3D dei modelli altimetrici digitali ed applicazione ai dati disponibili per il territorio comunale di Pisa