Email Record: Using ground penetrating radar for roof hazard detection in underground mines /