A high-throughput de novo sequencing approach for shotgun proteomics using high-resolution tandem mass spectrometry