Exact solutions for isothermal cyclic torsional loading of a circular SMA bar exploiting the shape memory effect