python string.format integer with commas