How much money does Microsoft have overall?