QR-factorization (to be tested)