Microlocal analysis in nonlinear thermoelasticity