Laboratory investigations for the electromagnetic characterization of railway ballast through GPR | IEEE Conference Publication | IEEE Xplore