what is the identity of the football player who appeared 23 times internationally?
(AND soccer.football_player (JOIN soccer.football_player.total_international_appearances 23^^http://www.w3.org/2001/XMLSchema#integer))