Email Post: Coal-rock interface detection method using ground penetrating radar and its experiment