Jersey Mike's files for IPO with NYSE listing planned