Elastic waveform inversion in the frequency domain for an application in mechanized tunneling