Convergence of the shifted QR algorithm for unitary Hessenberg matrices