python format string thousands separator with spaces