Jersey Mike’s Shares Lag Behind Average First-Day Performance for IPOs This Year