Thermo-elastic dynamic instability (TEDI) in frictional sliding of two elastic half-spaces