what is the number of official colors that the utep miners football have?
(COUNT (AND visual_art.color (JOIN (R sports.sports_team.colors) m.0gfjfrn)))