A dynamic programming approach to de novo peptide sequencing via tandem mass spectrometry