Experimental and theoretical study of the relaxation of vibrationally excited HF by NO and CO