Estimating the Contribution of Proteasomal Spliced Peptides to the HLA-I Ligandome