In-class work: Householder QR