Exact solutions to the thermomechanically coupled shallow-ice approximation: effective tools for verification