Barry Larkin is inducted into the Hall of Fame