A variational principle for non-linear thermoviscoplasticity