A transformer-based model to predict peptide–HLA class I binding and optimize mutated peptides for vaccine design