Sonic tomography applied to historic masonry structures: validation of the testing methodology and of the data elaboration by different computer codes