Computational analysis and modeling of cleavage by the immunoproteasome and the constitutive proteasome