Gravar-mail: Automated de novo sequencing of proteins by tandem high-resolution mass spectrometry