python format string for filename