By the end of 1983, how many computers were in use in the world?