python format string hex padding