Diode laser spectra of NH3 in the 9.5-μm region