Frequency-Domain Full-Waveform Inversion Based on Tunnel Space Seismic Data. (November 2022)