Computational and Bioinformatic Innovations in Proteogenomics: Predicting Functions of Unannotated Proteins and Facilitating Identification of Missing Proteins