Coal mine geological hazardous body detection using surface ground penetrating radar velocity tomography | IEEE Conference Publication | IEEE Xplore