Update pki_key_length.tex