Modeling the Feasibility of Nanopore-Based Protein Identification in the Human Proteome