How many technology companies are there in the US?