python format string with variable width