In 2012, Fortune ranked IBM the second largest U. How many employees did IBM have in 2012