Ground-Penetrating Radar monitoring of concrete at high temperature