Thermoelastic dynamic instability (TEDI) in frictional sliding of a half-space against a rigid non-conducting wall