結果 : format string to have leading zeros python