_
Jersey Mike's debuts on NYSE after $1B IPO