Doleman elected to NFL Hall of Fame