De novo mass spectrometry peptide sequencing with a transformer model