Mike Sexton elected to the Poker Hall of Fame