Microsoft becomes second company to surpass 4 trillion in market value