Does Pretty Good Privacy use a private key encryption?