In python how to pad a numeric string with leading zeros?