Python standard library: Encoding and decoding strings