Theoretical study of a high-energy pulsed H2/F2 chain first vibrational overtone HF chemical laser