Mass resolution of 10 000 in a laser ionization time-of-flight mass spectrometer