[objective-c] How should I pass an int into stringWithFormat?