how many programmers are there