How many professional players are in the nba?