python format string escape percent sign