Jersey Mike's files for IPO valued at up to $12 billion