Nuove tecnologie di introspezione muraria per la scoperta di strutture e pitture nascoste: il caso della 'Battaglia di Anghiari' di Leonardo da Vinci