Using Ground Penetrating Radar for Roof Hazard Detection in Underground Mines by United States Government