A Real Norm-Reducing Jacobi-Type Eigenvalue Algorithm