What is a public key?