Accounting for velocity anisotropy in seismic traveltime tomography: a case study from the investigation of the foundations of a Byzantine monumental building