Householder QR factorization