Laser isotope separation and the multiphoton dissociation of formic acid using a pulsed HF laser