Algorithms for de novo sequencing of peptides