Microsoft becomes $4 trillion company