High-throughput methods for in silico discovery of peptides, proteins, and post-translational modifications in proteomics