Panthers alum Mike Vernon to be inducted into Hockey Hall of Fame