Estimating locations of soil–rock interfaces based on vibration data during shield tunnelling