A Shear-Wave Seismic System to Look Ahead of a Tunnel Boring Machine