High-resolution x-ray spectrum of a laser-produced barium plasma in the 9.10–9.36-Å wavelength range