python format string hex leading zeros