A nuclear reaction product mass spectrometer