Super Bowl-winning coach Jimmy Johnson into Hall of Fame