A large fraction of HLA class I ligands are proteasome-generated spliced peptides