Determination of space behind pre-cast concrete elements in tunnels using GPR | IEEE Conference Publication | IEEE Xplore