Bedrock detection from an integrated procedure of refraction analysis and tomographic inversion of the first arrivals