python f string format integer with leading zeros