python string format specify number of digits