Householder's tridiagonalization of a symmetric matrix