Discovery and annotation of small proteins using genomics, proteomics, and computational approaches