How Pretty Good Privacy works, and how you can use it for secure communication