Jersey Mike’s appoints Stacy Peterson as president and COO