Using ground penetrating radar for roof hazard detection in underground mines [electronic resource] / Gregory M. Molinda ... [et al]