Application of ground penetrating radar for coal thickness measurement | IEEE Conference Publication | IEEE Xplore