how-to-encode-strings-for-xml-with-python