結果 : format string with leading zeros python