Gravar-mail: Large database for the analysis and prediction of spliced and non-spliced peptide generation by proteasomes