Una procedura di modellazione automatica degli edifici con dati LIDAR